📐 Mathematical Computing - abnv · Scour

Get Good at Math with Me ∫Symbolic Math

upinnovation.substack.com·6d·Substack·

The Evolving Foundations of Math ∫Mathematical DSLs

quantamagazine.org·2d·Hacker News·

An Open Introduction ∫Mathematical DSLs

discrete.openmathbooks.org·5h·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

dropbox/dMATH: Formal verification and theorem proving tools 🧮Theorem Provers

github.com·3d·Hacker News·

Products of consecutive integers with unusual anatomy 🧮Combinator Calculus

terrytao.wordpress.com·2d·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

What if AI doesn't need more RAM but better math? 🌱Minimal ML

news.ycombinator.com·4d·Substack·

The Mathematical Mind of a C++ Programmer [using std::cpp 2026] ∫Symbolic Math

youtu.be·1d·r/cpp·

On This Day in Math 🖥️History of Computing

pballew.blogspot.com·5d·Blogger·

bqn-smt 🔢Algebraic Datatypes

codeberg.org·1d·Lobsters·

Matrix Calculus (for ML and beyond) -- notes. 🔍ML Language

kosti.bearblog.dev·2d·

Problem 00206 ∫Mathematical DSLs

andreinc.net·4d·

Combinators 🧮Combinator Calculus

tinyapl.rubenverg.com·2d·Hacker News·

.me: The Identity Calculus λLambda Calculus

medium.com·3d·

Quantities and units library 📇Symbol Tables

open-std.org·3d·

apology-is-policy/hyades: Unicode/ASCII Mathematical Typesetting Engine with LaTeX Input, VSCode Integration, MCP server, and Automatic Rendering into Source Code Comments 📝Rope Editors

github.com·1d·r/commandline·

Mathematical methods and human thought in the age of AI ∫Symbolic Math

terrytao.wordpress.com·3d·Hacker News·

On This Day in Math 🖥️History of Computing

pballew.blogspot.com·6d·Blogger·

On This Day in Math 🖥️History of Computing

pballew.blogspot.com·4d·Blogger·

Loading more...